On Substitution

On Stepwise Explicit Substitution

This paper starts by setting the ground for a lambda calculus notation that strongly mirrors the two fundamental operations of term construction, namely abstraction and application. In particular, we single out those parts of a term, called items in the paper, that are added during abstraction and application. This item notation proves to be a powerful device for the representation of basic sub...

Substitution on Trajectories

The word substitutions are binary word operations which can be basically interpreted as a deletion followed by insertion, with some restrictions applied. Besides being itself an interesting topic in formal language theory, they have been naturally applied to modelling noisy channels. We introduce the concept of substitution on trajectories which generalizes a class of substitution operations. W...

On the Pisot substitution conjecture

On the Notion of Substitution

We consider a concept of substitutive structure, called “logos”, in order to study simple substitution, independently of formal or programming languages. We provide a definition of simultaneous substitution in an arbitrary logos and use it to prove a completeness theorem expressing that the equational properties of the usual substitution can be proved from the logos axioms only.

Ferrocenyl Phosphine Substitution on Triruthenium Carbonyl Clusters